منابع مشابه
On Point-finiteness in Pointfree Topology
Abstract: In pointfree topology, the point-finite covers introduced by Dowker and Strauss do not behave similarly to their classical counterparts with respect to transitive quasi-uniformities, contrarily to what happens with other familiar types of interior-preserving covers. The purpose of this paper is to remedy this by modifying the definition of Dowker and Strauss. We present arguments to j...
متن کاملUnderstanding Finiteness Analysis Using Abstract Interpretation (extended Abstract) 1
Finiteness analyses are compile-time techniques to determine (suucient) conditions for the niteness of relations computed during the bottom-up execution of a logic program. We examine niteness analyses from the perspective of abstract interpretation. However, problems arise when trying to use standard abstract interpretation theory for niteness analysis. They occur because niteness is not an ad...
متن کاملHamiltonian Cycle within Extended OTIS-Cube Topology
This paper introduces a complete description of constructing a Hamiltonian cycle in the Extended OTIS-n-Cube topology. The recently proposed network has many good topological features such as regular degree, semantic structure, low diameter, and ability to embed graphs and cycles. Constructing a Hamiltonian cycle is an important feature for any topology due to the importance of broadcast messag...
متن کاملExtended Real Functions in Pointfree Topology
In pointfree topology, a continuous real function on a frame L is a map L(R) → L from the frame of reals into L. The discussion of continuous real functions with possibly infinite values can be easily brought to pointfree topology by replacing the frame L(R) with the frame of extended reals L ( R ) (i.e. the pointfree counterpart of the extended real line R = R ∪ {±∞}). One can even deal with a...
متن کاملAn extended feature set for blind image steganalysis in contourlet domain
The aim of image steganalysis is to detect the presence of hidden messages in stego images. We propose a blind image steganalysis method in Contourlet domain and then show that the embedding process changes statistics of Contourlet coefficients. The suspicious image is transformed into Contourlet space, and then the statistics of Contourlet subbands coefficients are extracted as features. We us...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Indagationes Mathematicae (Proceedings)
سال: 1963
ISSN: 1385-7258
DOI: 10.1016/s1385-7258(63)50021-3